The Petri Net Baukasten

The Petri Net Baukasten - Second Installment

Petri nets are a subject of interest to researchers since more than 30 years. They became popular since they allow the graphic representation of computational structures and have a formal underpinning that allows formal proofs of properties. Their use in engineering, however is limited to a rather small number of applications. Many of the graphic notations used in practice are very similar to t...

The Petri Net Baukasten: 2nd Installment

The Petri Net Baukasten : 2 nd Installment 1

Petri nets are a subject of interest to researchers since more than 30 years. They became popular since they allow the graphic representation of computational structures and have a formal underpinning that allows formal proofs of properties. Their use in engineering, however is limited to a rather small number of applications. Many of the graphic notations used in practice are very similar to t...

The Tool Developer View of the Petri Net Baukasten

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

In the long history of Petri nets a universe of Petri nets has evolved consisting of an enormously rich theory, a wide variety of tools, and numerous successful applications and case studies in various application domains. This vast variety is not any more handable for anyone working with Petri nets, which results in the strong need of a structured access to Petri nets. This structured access h...